quadratic constraint cplex